2 daws c , olivero a , tripakis s , yovine s . the tool kronos . in dimacs workshop on verification and control of hybrid systems , lncs 1066 , springer - verlag , october 1995 . 3 henzinger t a , ho p h . hytech : the cornell hybrid technology tool 當(dāng)自動機(jī)當(dāng)前狀態(tài)為l時,轉(zhuǎn)換l , g , r , l的使能條件是時鐘變量的取值滿足g ,而當(dāng)轉(zhuǎn)換發(fā)生之后, r中時鐘的值被重置為0 。